\relax 
\@writefile{toc}{\string\contentsline{section}{\string\makebox[2.3em][l]{\uppercase {}.1.}Simple list recursion.}{1}}
\newlabel{listrec}{{\uppercase {}.1}{1}}
\newlabel{fcnappend1}{{\uppercase {}.1}{1}}
\newlabel{eqnlpr1}{{\uppercase {}.1}{1}}
\newlabel{fcnlength}{{\uppercase {}.1}{2}}
\newlabel{fcnlast}{{\uppercase {}.1}{2}}
\newlabel{eqnlpr2}{{\uppercase {}.1}{2}}
\newlabel{eqnlpr3}{{\uppercase {}.1}{2}}
\@writefile{toc}{\string\contentsline{section}{\string\makebox[2.3em][l]{\uppercase {}.2.}Simple S-expression recursion.}{3}}
\newlabel{sexprec}{{\uppercase {}.2}{3}}
\newlabel{fcnsubst}{{\uppercase {}.2}{3}}
\newlabel{eqnspr1}{{\uppercase {}.2}{3}}
\newlabel{fcnsize}{{\uppercase {}.2}{3}}
\newlabel{fcnfringe}{{\uppercase {}.2}{3}}
\newlabel{eqnspr3}{{\uppercase {}.2}{3}}
\newlabel{fcnequal}{{\uppercase {}.2}{4}}
\newlabel{fcnflatten}{{\uppercase {}.2}{4}}
\@writefile{toc}{\string\contentsline{section}{\string\makebox[2.3em][l]{\uppercase {}.3.}Other structural recursions.}{5}}
\newlabel{strucrec}{{\uppercase {}.3}{5}}
\newlabel{eqngpr1}{{\uppercase {}.3}{5}}
\newlabel{fcnnumval}{{\uppercase {}.3}{6}}